The ABACO System - An Algebraic Based Action COmpiler
نویسندگان
چکیده
Syntax Tree C++ ProgramCompiledProgramProgramSourceFig. 2. Architeture of the Generated Compilerit could work in every system supporting the C++ language. The source code ofthis implementation can be obtained at the Recife Action Tools home page [4].References1. P. D. Mosses. Uni ed algebras and modules. Departamental Report DAIMI PB{266, Aarhus University, Computer Science Department, Denmark, 1988.2. Peter D. Mosses. Action Semantics. Number 26 in Cambridge Tracts in TheoreticalComputer Science. Cambridge University Press, 1992.3. Peter D. Mosses and David A. Watt. Pascal action semantics, version 0.6. Availableby FTP as ftp.brics.dk/pub/BRICS/Projects/AS/Papers/MossesWatt93DRAFT/-pas-0.6.ps.Z, March 1993.4. Homepage of the RAT Project. http://www.di.ufpe.br/ rat.5. David A. Watt. An action semantics of Standard ML. In Proc. Third Workshop onMath. Foundations of Programming Language Semantics, New Orleans, volume 298of Lecture Notes in Computer Science, pages 572{598. Springer-Verlag, 1988.This article was processed using theLATEX macro package with LLNCS style
منابع مشابه
Proceedings of the Fourth International Workshop on Action Semantics AS 2002 Copenhagen , Denmark , July 21 , 2002
We describe the structure of the Abaco System, an action semantics tool that enables the programming language designer to build and test action semantics descriptions. The system is formed by a set of compiler generation tools like parser generators, specification processors, including sort checkers and interpreters for action semantic descriptions. These tools can be used to process action sem...
متن کاملScientific Flow Field Simulation of Cruciform Missiles Through the Thin Layer Navier Stokes Equations
The thin-layer Navier-Stokes equations are solved for two complete missile configurations on an IBM 3090-200 vectro-facility supercomputer. The conservation form of the three-dimensional equations, written in generalized coordinates, are finite differenced and solved on a body-fitted curvilinear grid system developed in conjunction with the flowfield solver. The numerical procedure is based on ...
متن کاملParallel Code Generation in MathModelica / An Object Oriented Component Based Simulation Environment
Modelica is an a-causal, equation based, object oriented modeling language for modeling and efficient simulation of large and complex multi domain systems. The Modelica language, with its strong software component model, makes it possible to use visual component programming, where large complex physical systems can be modeled and composed in a graphical way. One tool with support for both graph...
متن کاملTowards dependently typed Haskell: System FC with kind equality
System FC, the core language of the Glasgow Haskell Compiler, is an explicitly-typed variant of System F with first-class type equality proofs called coercions. This extensible proof system forms the foundation for type system extensions such as type families (typelevel functions) and Generalized Algebraic Datatypes (GADTs). Such features, in conjunction with kind polymorphism and datatype prom...
متن کاملSystem FC with Explicit Kind Equality (extended version)
System FC, the core language of the Glasgow Haskell Compiler, is an explicitly-typed variant of System F with first-class type equality proofs called coercions. This extensible proof system forms the foundation for type system extensions such as type families (typelevel functions) and Generalized Algebraic Datatypes (GADTs). Such features, in conjunction with kind polymorphism and datatype prom...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998